#include "../../../../include/varargs.h"
#include "../../../../include/stdarg.h"

void printk(char * formatString, ...);
